CSAI Projects
Search
Projects By Alexander S. Kulikov
Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture
Nikolai Chukhin
IWLS 2025 Competition on Boolean Circuit Synthesis
Stanislav Alekseev, Timur Degteari, Gregory Emdin, Mikhail Goncharov, Ilia Kondakov, Fedor Kurmazov, Maksim Levitskii, Georgii Levsov, Maksim Shevkoplias, Roman Shumilov